//Leave the !important to override ace-editor default which is rendered later
.ace_editor {
  font-size: 13.5px !important;
}
.ace_tooltip {
  background: $bg-error !important;
  padding: 1.5px 4px !important;
  border: 0 !important;
  border-radius: 0 !important;
  font-size: 12px !important;
  color: white !important;
}
.ace_search {
  display: none !important;
}
.ace_gutter {
  background: none !important;
}
.ace_gutter-cell {

  &.ace_error {
    background: none !important;
    &::before {
      position: absolute;
      float: left;
      left: 0;
      content: '\e801';
      color: $color-error;
      font-family: $font-icon;
      font-size: 14.5px;
      margin: 1px 5px;
      text-shadow: 0 1px rgba(255, 255, 255, .75);
    }
  }
}

.ace_fold {
  background-color: $bg-muted-more !important;
  background-image: none !important;
  border-radius: 0 !important;
  margin:0 !important;
  border: 0 !important;

}
